1. Advances in machine learning and data science :
پدیدآورنده: Damodar Reddy Edla, Pawan Lingras, Venkatanareshbabu K., editors.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Machine learning, Congresses.,Artificial intelligence.,Business mathematics & systems.,COMPUTERS-- General.,Data mining.,Databases.,Machine learning.
رده :
Q325
.
5


2. Approximation and Complexity in Numerical Optimization
پدیدآورنده: edited by Panos M. Pardalos.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Information theory.,Mathematical optimization.,Mathematics.

3. Completeness and Reduction in Algebraic Complexity Theory
پدیدآورنده: by Peter Bürgisser.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra.,Computer science-- Mathematics.,Information theory.,Mathematics.

4. Computability, Complexity, and Languages
پدیدآورنده: \ Martin D. Davis, Elaine J. Weyuker
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Machine theory,Computational complexity,Formal languages,نظریه ماشین,پیچیدگی محاسباتی,زبانهای صوری
رده :
E-Book
,

5. Computability, complexity, and languages :
پدیدآورنده: Martin D. Davis, Ron Sigal, Elaine J. Weyuker
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational complexity,Formal languages,Machine theory
رده :
QA267
.
D38
1994


6. Computability, complexity, and languages
پدیدآورنده: Martin D. Davis, Elaine J. Weyuker,Title
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: Machine theory,Computational complexity,Formal languages
رده :
QA
.
D38
267
1983


7. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده: Davis, Martin, 8291-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D285C6


8. Computability, complexity, and languages : fundamentals of theoretical computer science
پدیدآورنده: Davis, Martin
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D38
1983


9. Computability, complexity, and languages fundamentals of theoretical computer science
پدیدآورنده: Davis, Martin
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Machine theory,، Computational complexity,، Formal languages
رده :
QA
267
.
D38


10. Computing with foresight and industry :
پدیدآورنده: Florin Manea, Barnaby Martin, Daniel Paulusma, Giuseppe Primiero, (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computable functions, Congresses.,Computer science-- Mathematics, Congresses.,Computable functions.,Computer science-- Mathematics.
رده :
QA9
.
59
.
C67
2019


11. Coping with Complexity :
پدیدآورنده: by Hans W. Gottinger.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Social sciences -- Methodology.,Social sciences.

12. Dynamics on and of complex networks III :
پدیدآورنده:
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Big data.,Computer networks.,Machine learning.,Statistical physics.,Big data.,Computer networks.,Machine learning.,Statistical physics.
رده :
TK5105
.
5
.
D96
2019


13. Exploring randomness
پدیدآورنده: Chaitin, Gregory J.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Computational complexity,، LISP )Computer program language(
رده :
QA
267
.
C485


14. Feasible computations and provable complexity properties
پدیدآورنده: Hartmanis, Juris
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
H33


15. Finite automata, formal logic, and circuit complexity
پدیدآورنده: Straubing, Howard, 2591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Mathematics ، Computer science,، Machine theory,، Logic, Symbolic and mathematical,، Computational complexity
رده :
QA
76
.
9
.
M35S77


16. Foundations of computation theory, Proceedings of the 1983 International FCT-Conference Borgholm, Sweden, August 21-27, 1983
پدیدآورنده: Internatinal FCT-confernce, Borgholm, Sweden, 3891
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Recursion theory-- Congresses,، Computational complexity-- Congresses,، Machine theory-- Congresses,، Categories)Mathematics(-- Congresses
رده :
QA
9
.
6
.
I57
1983


17. Fundamentals of computation theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory-- Congresses,، Computer science-- Mathematics-- Congresses,، Computational complexity-- Congresses
رده :
QA
267
.
I57
1985


18. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده: edited by Marek Karpinski
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
9
.
6
.
I57
1977


19. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده: edited by Marek Karpinski
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L4
v
.
56


20. Fundamentals of computation theory : proceedings of the 1977 International FCT-Conference, Poznan-Kornik, Poland, September 19-23, 1977
پدیدآورنده: edited by Marek Karpinski
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Recursion theory,Congresses ، Computational complexity,Congresses ، Machine theory,Congresses ، Categories )Mathematics(
رده :
QA
76
.
L28
Vol
.
56

